A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and s...(展开全部)

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective -- -has important applications in software engineering, language design, high-performance compilers, and s...(展开全部)

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered includ...(展开全部)

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered includ...(展开全部)

本书作者Kenneth C. Louden是圣何塞州立大学的教授，该大学是美国硅谷第一流的计算机科学教育学校，Kenneth C. Louden还是另一本畅销书“Complier Construction Principles and Practice”的作者。

This text, recently published in a new edition, is suitable for an advanced undergraduate or beginning graduate course in the principles of programming languages. It is organized around principles and paradigms, rather than individual languages. Principles are reinforced with numerous examples from contemporary languages. There are individual chapters on functional, logic, and ...(展开全部)

Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll ex...(展开全部)

本书作者Kenneth C. Louden是圣何塞州立大学的教授，该大学是美国硅谷第一流的计算机科学教育学校，Kenneth C. Louden还是另一本畅销书“Complier Construction Principles and Practice”的作者。